数学的ソフトウェアを考える⑤ 常微分方程式